Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP)

Eine Architektur zur Spezifikation von Sprachen und Werkzeugen für die Unternehmensmodellierung

Zusammenfassung Bei der Planung, Entwicklung und Einführung betrieblicher Informationssysteme werden vielfältige Modelle verwendet. I.d.R. sind die für unterschiedliche Zwecke (strategische Planung, Organisationsgestaltung, Systementwurf ...) eingesetzten Modelle aber nur für einen kleinen Kreis von Betrachtern verständlich. Das führt zu Kommunikationsproblemen, Inkonsistenzen zwischen untersch...

Erfahrungen mit Anwendungsfallspezifikation bei der Entwicklung großer IT-Systeme

Anwendungsfälle sind in den vergangenen Jahren als Spezifikationsmittel für IT-Systeme sehr populär geworden. Sie versprechen effizientere und qualitativ bessere Spezifikationen. Zugleich bergen sie aber auch Gefahren für den Projekterfolg. Dieser Artikel beleuchtet den Einsatz von Anwendungsfällen bei der Entwicklung großer IT-Systeme und zeigt auf, wo Anwendungsfälle gelegentlich Schwierigkei...

Zur Spezifikation von Komponenten der Informationssystementwicklung mit Softwareverträgen

In diesem Beitrag wird ein methodischer Rahmen für die Spezifikation von Komponenten beschrieben, der eine wichtige Voraussetzung für die Schaffung von Werkzeugen zur Unterstützung der betrieblichen Informationssystementwicklung mit Komponenten darstellt. Er basiert auf dem Konzept des Softwarevertrags und erweitert dieses durch die Einführung von Dienstund Kompositionsverträgen. Mit dem Spezif...

Die Benutzerumgebung von SIMPLEX-II: eine offene graphische Bedienoberfläche zur Erstellung und Auswertung von Simulationsmodellen

Monte-Carlo-Simulation in Ökobilanzen - Chancen und Grenzen

Dieser Beitrag untersucht die Bedeutung der Spezifikation von Monte-CarloSimulationen, insbesondere Wahl der Verteilungsfunktionen und Korrelation von Inputgrößen für Ökobilanzen. Hierfür werden verschiedene Verteilungsfunktionen und Korrelationen zwischen Inputgrößen in Szenarien untersucht. Die Spezifikation der Monte-Carlo-Simulation hat Auswirkungen auf die Gesamtvarianz der durch die Simul...